package GUI;

import javax.swing.*;

public class PN_Analysis_Panel extends JPanel {

	private static final long serialVersionUID = 389598210855049721L;
	private PN_Draw_Panel drawPanel;
	
	public PN_Analysis_Panel(PN_Draw_Panel dp) {
		this.setBorder(BorderFactory.createTitledBorder("Analysis"));
		this.setLayout(new BoxLayout(this, BoxLayout.Y_AXIS));
		this.drawPanel = dp;
		
		JButton CheckLiveness = new JButton("Check Liveness Of EFCN");

		this.add(CheckLiveness);
		
		CheckLiveness.addMouseListener(new java.awt.event.MouseAdapter() {
			public void mouseClicked(java.awt.event.MouseEvent evt) {
            	drawPanel.CheckLivenessOfEFCN();
            }
		});

	}
}
